{ x = { z = 1 } } ∧ { x = { y = 2 } }
